Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐Ÿ›ก๏ธeBPF Security
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.orgยท16h
๐Ÿ“ฐContent Curation
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Minimal Sufficiency: A Principle โ€˜Similarโ€™ to End-to-End
cacm.acm.orgยท1hยท
Discuss: Hacker News
๐Ÿ”—Network Calculi
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Nonmonotonic Logic
cambridge.orgยท4dยท
Discuss: Hacker News
๐Ÿ”ฌLogic in Computer Science
Flag this post
KAITO and KubeFleet: Projects Solving AI Inference at Scale
thenewstack.ioยท3h
๐Ÿ Homelab Orchestration
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐Ÿ•ต๏ธVector Smuggling
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.toยท1dยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“Log Parsing
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ”“Hacking
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท15hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.orgยท16h
โš”๏ธLean Tactics
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท12hยท
Discuss: Hacker News
ฮปLambda Formalization
Flag this post